package edu.washington.cs.workflow.analysis.guistructure;

import junit.framework.TestCase;

public class TestFeedbackDirectedTestGeneration extends TestCase {

	public void testAddressBook() {
		FeedbackDirectedTester.testNum = 500;
		FeedbackDirectedTester.turnOnTrace = false;
		FeedbackDirectedTester.main(new String[]{"samples.addressbook.main.Main"});
	}
	
	public void testCalculator() {
		FeedbackDirectedTester.testNum = 1500;
		FeedbackDirectedTester.turnOnTrace = false;
		FeedbackDirectedTester.main(new String[]{"samples.calculator.CalculatorPanel"});
	}
	
	public void testUIWidget() {
		FeedbackDirectedTester.main(new String[]{"sample.gui.SimpleUIForTest"});
	}
	
	public void testInstrumentedAddressBook() {
		FeedbackDirectedTester.main(new String[]{"ex.samples.addressbook.main.Main"});
	}
	
	public void testInstrumentedCalculator() {
		FeedbackDirectedTester.testNum = 50;
		FeedbackDirectedTester.printMap = true;
		FeedbackDirectedTester.main(new String[]{"ex.samples.calculator.CalculatorPanel"});
	}
	
	public void testCrossword035() {
		FeedbackDirectedTester.testNum = 50;
		FeedbackDirectedTester.printMap = true;
		UIActionTracer.tracer.setDisplayRealtime(false);
		FeedbackDirectedTester.main(new String[]{"crosswordsage.MainScreen"});
	}
	
	public void testCrossword030() {
		FeedbackDirectedTester.testNum = 50;
		FeedbackDirectedTester.printMap = true;
		FeedbackDirectedTester.main(new String[]{"crosswordsage.MainScreen"});
	}
}
